Википедия
Биекция — это отображение , которое является одновременно и сюръективным , и инъективным . При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно-однозначным отображением , одно-однозначным отображением.
Если между двумя множествами можно установить взаимно-однозначное соответствие , то такие множества называются равномощными . С точки зрения теории множеств , равномощные множества неразличимы.
Взаимно-однозначное отображение конечного множества в себя называется перестановкой .